derived{-}seq($f$;$s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$let $k$,$g$ = $s$ in $\lambda$$n$.$<$$k$, $\lambda$$i$.$f$($n$+$g$($i$))$>$